11![A Formal Model of Provenance in Distributed Systems Issam Souilah University of Southampton, UK Adrian Francalanza University of Malta, Malta A Formal Model of Provenance in Distributed Systems Issam Souilah University of Southampton, UK Adrian Francalanza University of Malta, Malta](https://www.pdfsearch.io/img/8250f0c27ee6d9218a2f4ad2a888e455.jpg) | Add to Reading ListSource URL: staff.um.edu.mt- Date: 2009-02-04 08:44:02
|
---|
12![Assessing Design Patterns for Concurrency Fikre Leguesse Adrian Francalanza Department of Computer Science, ICT University of Malta {fleg0001,afra1}@um.edu.mt Assessing Design Patterns for Concurrency Fikre Leguesse Adrian Francalanza Department of Computer Science, ICT University of Malta {fleg0001,afra1}@um.edu.mt](https://www.pdfsearch.io/img/9c9682dba106124536b1ef76f4e0b2d6.jpg) | Add to Reading ListSource URL: staff.um.edu.mt- Date: 2009-11-17 16:58:34
|
---|
13![A Monitoring Tool for a Branching-Time Logic? Duncan Paul Attard and Adrian Francalanza CS, ICT, University of Malta, Malta {duncan.attard.01,adrian.francalanza}@um.edu.mt Abstract. We present the implementation of an e A Monitoring Tool for a Branching-Time Logic? Duncan Paul Attard and Adrian Francalanza CS, ICT, University of Malta, Malta {duncan.attard.01,adrian.francalanza}@um.edu.mt Abstract. We present the implementation of an e](https://www.pdfsearch.io/img/3bb03a37736e53792733279eb940f515.jpg) | Add to Reading ListSource URL: staff.um.edu.mt- Date: 2016-08-21 10:35:34
|
---|
14![SMock — A Test Platform for Monitoring Tools? Christian Colombo1 , Ruth Mizzi1 and Gordon J. Pace1 Department of Computer Science, University of Malta {christian.colombo | rmiz0015 | gordon.pace}@um.edu.mt Abstract. I SMock — A Test Platform for Monitoring Tools? Christian Colombo1 , Ruth Mizzi1 and Gordon J. Pace1 Department of Computer Science, University of Malta {christian.colombo | rmiz0015 | gordon.pace}@um.edu.mt Abstract. I](https://www.pdfsearch.io/img/7e37c93ae860d50d8f4c4b9b4a6b4275.jpg) | Add to Reading ListSource URL: secure.um.edu.mt- Date: 2013-07-15 06:34:43
|
---|
15![Google Maps:50 UNIVERSITY
OF
MALTA
VALLETTA
CAMPUS
Google Maps:50 UNIVERSITY
OF
MALTA
VALLETTA
CAMPUS](https://www.pdfsearch.io/img/256cab63a0b5ce9f22db234f5cd468c8.jpg) | Add to Reading ListSource URL: www.eurogeography.eu.gridhosted.co.uk- Date: 2014-10-27 11:12:11
|
---|
16![Monitoring Distributed Systems with Distributed P OLY L ARVA Ian Cassar, Adrian Francalanza, Christian Colombo Faculty of ICT, CS Department University of Malta Emails: {ian.cassar.10, adrian.francalanza, christian.colom Monitoring Distributed Systems with Distributed P OLY L ARVA Ian Cassar, Adrian Francalanza, Christian Colombo Faculty of ICT, CS Department University of Malta Emails: {ian.cassar.10, adrian.francalanza, christian.colom](https://www.pdfsearch.io/img/ad6a2d35102b1e93045b1d4a0d595b5c.jpg) | Add to Reading ListSource URL: staff.um.edu.mt- Date: 2014-04-03 02:01:14
|
---|
17![PERMISSION-BASED SEPARATION LOGIC FOR MESSAGE-PASSING CONCURRENCY ADRIAN FRANCALANZA, JULIAN RATHKE, AND VLADIMIRO SASSONE ICT, University of Malta e-mail address: ECS, University of Southamp PERMISSION-BASED SEPARATION LOGIC FOR MESSAGE-PASSING CONCURRENCY ADRIAN FRANCALANZA, JULIAN RATHKE, AND VLADIMIRO SASSONE ICT, University of Malta e-mail address: ECS, University of Southamp](https://www.pdfsearch.io/img/d82aadc53ff9352f5650ec1123a77ed6.jpg) | Add to Reading ListSource URL: staff.um.edu.mt- Date: 2011-05-16 14:07:07
|
---|
18![A Theory of Monitors (Extended Abstract)? Adrian Francalanza CS, ICT, University of Malta, Msida, Malta Abstract. We develop a behavioural theory for monitors — software A Theory of Monitors (Extended Abstract)? Adrian Francalanza CS, ICT, University of Malta, Msida, Malta Abstract. We develop a behavioural theory for monitors — software](https://www.pdfsearch.io/img/53e770be60d0f1515a4546f73edd6be1.jpg) | Add to Reading ListSource URL: staff.um.edu.mt- Date: 2016-01-26 03:09:20
|
---|
19![COMPOSITIONAL REASONING FOR EXPLICIT RESOURCE MANAGEMENT IN CHANNEL-BASED CONCURRENCY ADRIAN FRANCALANZA, EDSKO DEVRIES, AND MATTHEW HENNESSY ICT, University of Malta e-mail address: Well-Typ COMPOSITIONAL REASONING FOR EXPLICIT RESOURCE MANAGEMENT IN CHANNEL-BASED CONCURRENCY ADRIAN FRANCALANZA, EDSKO DEVRIES, AND MATTHEW HENNESSY ICT, University of Malta e-mail address: Well-Typ](https://www.pdfsearch.io/img/def1645f2727ff7c9a560d60d114402d.jpg) | Add to Reading ListSource URL: staff.um.edu.mt- Date: 2014-07-01 03:52:04
|
---|
20![Sonancia: Sonification of Procedurally Generated Game Levels Phil Lopes, Antonios Liapis and Georgios N. Yannakakis Institute of Digital Games, University of Malta, Msida, Malta louis.p.lopes; antonios.liapis; georgios.y Sonancia: Sonification of Procedurally Generated Game Levels Phil Lopes, Antonios Liapis and Georgios N. Yannakakis Institute of Digital Games, University of Malta, Msida, Malta louis.p.lopes; antonios.liapis; georgios.y](https://www.pdfsearch.io/img/59fc1c81ceb81caee3d33720529e4d69.jpg) | Add to Reading ListSource URL: antoniosliapis.com- Date: 2015-08-04 06:19:47
|
---|